home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / laame101.zip / ES34.TXT < prev    next >
Text File  |  1993-10-10  |  2KB  |  109 lines
  1. ------------------------------------------------------------------------------
  2. *                                                                            *
  3. *  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
  4. *                                                                            *
  5. ------------------------------------------------------------------------------
  6.  
  7. Giorno: 10-10-1993
  8.  
  9. Funzione: Σ8  (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
  10.                50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
  11.                106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
  12.                140,160,161,162,163,164,165,166,167,168,169,170,190,191,192,
  13.                193,194,195,196,197,198,199,200,220,221,222,223,224,225,226,
  14.                227,228,229,230)
  15.  
  16. Numero di variabili: 8
  17. Numero di mintermini: 88
  18. Stato dell'elaborazione: TERMINATA
  19. Generazione dell'input: DETERMINISTICA
  20. Tempo totale di elaborazione: 0:4:8
  21.  
  22. --------------------------
  23. *         FASE A         *
  24. --------------------------
  25. Tempo di elaborazione: 0:0:0
  26. Numero implicanti primi: 66
  27.  
  28. Implicanti primi determinati: 
  29.     ABCdEGH
  30.     ACdEFGH
  31.     BCDefGH
  32.     bCDeFGH
  33.     aBCDfGH
  34.     aBCDeGH
  35.     aCDeFGH
  36.     abCDFGH
  37.     aBcdefg
  38.     ABCdEF
  39.     ABdEFG
  40.     ABdEFH
  41.     BCDeFg
  42.     BDeFgH
  43.     BcDeFG
  44.     BcDeFH
  45.     aBCDFg
  46.     aBDFgH
  47.     aBCDeF
  48.     aBDeFG
  49.     aBDeFH
  50.     aBcDFG
  51.     aBcDFH
  52.     AbCDfg
  53.     AbDEfg
  54.     bCDEfg
  55.     AbDfgH
  56.     bDEfgH
  57.     AbcDEf
  58.     AbcDfG
  59.     bcDEfG
  60.     AbcDfH
  61.     bcDEfH
  62.     abCdef
  63.     ABDef
  64.     ADefG
  65.     ADefH
  66.     ACDef
  67.     ACDeg
  68.     ADegH
  69.     ABDeg
  70.     ADeFg
  71.     AcDeG
  72.     AcDeH
  73.     ABcDe
  74.     AcDeF
  75.     AbCDe
  76.     AbDeF
  77.     AbDeG
  78.     AbDeH
  79.     aBDEg
  80.     aCDEg
  81.     aDEFg
  82.     aDEgH
  83.     aBDEf
  84.     aCDEf
  85.     aDEfG
  86.     aDEfH
  87.     aBcDE
  88.     acDEF
  89.     acDEG
  90.     acDEH
  91.     abCDE
  92.     abDEF
  93.     abDEG
  94.     abDEH
  95.  
  96. --------------------------
  97. *         FASE B         *
  98. --------------------------
  99. Quine II sx
  100. Tempo di elaborazione: 0:4:8
  101. Numero di forme prime paragonate: 10012
  102. Numero di tabelle cicliche esaminate: 14495
  103. Numero di implicanti soluzione: 23
  104.  
  105. SOLUZIONE (forma minima): 
  106. ABCdEGH + ACdEFGH + aBcdefg + ABCdEF + ABdEFG + ABdEFH + abCdef + BCDefGH +
  107. bCDeFGH + BCDeFg + aBDeFG + BcDeFH + AbDEfg + AbcDfG + ABDef + AcDeF + AbCDe +
  108. AbDeH + aBDEg + aCDEf + acDEG + abDEF + abDEH
  109.